eric7.QScintilla.EditorOutdatedWidget
Module implementing a widget to warn the user when a file loaded in the editor was
modified externally.
Global Attributes
Classes
| EditorOutdatedWidget |
Class implementing a widget to warn the user when a file loaded in the editor was modified externally. |
Functions
EditorOutdatedWidget
Class implementing a widget to warn the user when a file loaded in the editor was
modified externally.
Signals
- activateAutoReload()
-
emitted to indicate that the automatic reloading of
the editor should be activated
- ignoreChanges()
-
emitted to tell the editor to ignore the current and all
further modifications
- reloadFile()
-
emitted to ask the editor to reload the file
- showDiff()
-
emitted to indicate to show the difference between the externally
modified file and the current editor text
Derived from
QWidget, Ui_EditorOutdatedWidget
Class Attributes
| BackgroundColors |
| StyleSheetTemplate |
Class Methods
Methods
Static Methods
EditorOutdatedWidget (Constructor)
EditorOutdatedWidget(parent=None)
Constructor
- parent (QWidget (optional))
-
reference to the parent widget (defaults to None)
EditorOutdatedWidget.hide
hide()
Public slot to hide the widget.
EditorOutdatedWidget.setMessage
setMessage(message, messageType)
Public method to set the message text and type to be shown.
- message (str)
-
message text
- messageType (str)
-
message type ('info' or 'warning')